((v1 v2 8) (v2 v3 0) (v3 v1 9))
23
()